Persons tagged with «Computer Science»

Name	Phone	E-mail	Tags
Gundersen, Sveinung Senior Engineer	+47 22840862	sveinugu@ifi.uio.no	Computer science, Genomics, Statistics, Bioinformatics
Johnsen, Einar Broch Professor	+47 22852509	einarj@ifi.uio.no	computer science, formal methods, semantics, modeling, distributed systems, digital twins
Lartillot, Olivier Researcher	+47 966 81 210‬	olivier.lartillot@imv.uio.no	Computer Science, Music Analysis, Sound Analysis, Artificial Intelligence, Musicology, Music Information Retrieval, Music Technology
Owe, Olaf Professor	+47 22852449	olaf@ifi.uio.no	semantics, object-orientation, formal methods, concurrency, computer science, verification, programming languages
Schlatte, Rudolf Senior Engineer	+47 22852971	rudi@ifi.uio.no	formal methods, computer science, programming language semantics, concurrency
Steffen, Martin Professor	+47 22850417	msteffen@ifi.uio.no	semantics, programming language theory, static analysis, verification, compiler construction, object-orientation, formal methods, concurrency, computer science, verification, PMA, program analysis, static analysis, compositionality, security, model checking, type systems
Yıldırım, Ahmet Senior Engineer		ahmet.yildirim@iln.uio.no	semantics, universal dependencies, computer science